Buy Used and New Tetsuo Ida Books

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings: 4120 (Lecture Notes in Computer Science)

by Tetsuo Ida,Dongming Wang,Jaques Calmet

ISBN 13: 9783540397281

Format: Illustrated (288 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)

by Tetsuo Ida,Jacques Fleuriot

ISBN 13: 9783642406713

Format: Paperback (204 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later